Search results for " W-types"

showing 1 items of 1 documents

Polynomial functors and polynomial monads

2009

We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a polynomial endofunctor is polynomial. The relationship with operads and other related notions is explored.

Pure mathematicsPolynomialFunctorGeneral MathematicsMathematics - Category Theory18C15 18D05 18D50 03G30517 - AnàlisiMonad (functional programming)BicategoryMathematics::Algebraic TopologyCartesian closed categoryMathematics::K-Theory and HomologyMathematics::Category TheoryPolynomial functor polynomial monad locally cartesian closed categories W-types operadsFOS: MathematicsPolinomisCategory Theory (math.CT)Mathematics
researchProduct